Technical Properties

Properties of Technical Efficiency Estimators in the Stochastic Frontier Model

The estimation of frontier cost and production functions has been given impetus by the introduction of the stochastic frontier.’ This model is distinguished by a disturbance term composed of two parts a one-sided component, non-positive for production functions and non-negative for cost functions, representing the degree of inefficiency, and a symmetric component representing the usual statisti...

Error Properties of Hartley Trans - form Algorithms RLE Technical Report

Technical Report Guided Reverse Analysis of Contingent Properties

Many useful properties that might be discovered from a component in a large software system do not depend solely on the code for that component but rather are contingent upon properties of that component’s environment. This paper describes a novel approach for adapting modular analyses, based on abstract interpretation, to run in reverse direction in order to discover a property that—if assumed...

A Type System for Privacy Properties (Technical Report)

Mature push button tools have emerged for checking trace properties (e.g. secrecy or authentication) of security protocols. The case of indistinguishability-based privacy properties (e.g. ballot privacy or anonymity) is more complex and constitutes an active research topic with several recent propositions of techniques and tools. We explore a novel approach based on type systems and provide a (...

Effect of Redmud Particulates on Mechanical Properties of BFRP Composites (TECHNICAL NOTE)

This article reports the effective usage of redmud(RM) an industrial waste ,as a  novel filler in polymer matrix. The composite has been fabricated with redmud as secondary reinforcement in banana fiber reinforced polyester (BFRP) using compression molding technique. The mechanical properties such as tensile, flexural and impact strength have been studied for different fiber weight percentage, ...